Liquid Types
Logically Qualified Data Typesの略
液体型?
Hindley-Milner型推論
確認用
Q. Liquid Types
参考
『Liquid Types』
関連
プログラム検証